281. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
Author: S. Brookes...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
598
282. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
283. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
284. Mathematical foundations of software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
285. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
286. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Author: International Conference on Mathematical Studies of Information Processing, )8791, Kyoto, Japan(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing - Congresses,، Electronic digital computers - Programming
Classification :
QA
75
.
5
.
I582
1978
287. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Author: edited by E. K. Blum, M. Paul and S. Takasu
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic data processing,Programming ، Electronic digital computers
Classification :
QA
76
.
L4
v
.
75
288. Mathematics of program construction
Author: Ronald Back house Jose Nuno oliveria
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
Classification :
QA
76
.
6
.
M2
2000
289. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M367
1993
290. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
291. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
Classification :
QA
76
.
6
.
M367
1992
292. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
293. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
Author: Pierre Cointe )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1616
294. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Author: Akinori Yonezawa, Satoshi Matsuoka )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
2192
295. Methods of algorithmic language implementation
Author: edited by A. Ershov and C. H. A. Koster
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
47
296. Methods of algorithmic language implementation
Author: edited by A. Ershov and C.H.A. Koster
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
47
297. Minicomputer software
Author: / edited by James R. Bell and C. Gordon Bell
Library: Library of College of Science University of Tehran (Tehran)
Subject: Minicomputers -- Programming -- Congresses,Programming languages (Electronic computers)
Classification :
QA
76
.
6
.
I177
1975
298. Minicomputer software
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Minicomputers -- Programming -- Congresses►Programming languages (Electronic computers)
Classification :
76
.
6
.
I177
299. Minicomputer software: proceedings of the IFIP Conference of software for minicomputers
Author: IFIP Conference on Software for Microccomputers , Keszthely , Hungary, 5791
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Miniatur computers - Programming , Congresses,، Programming languages ) Electronic computers(
Classification :
QA
76
.
6
.
I77
1975
300. Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers : IFIP TC-2 Working Conference on Software for minicomputers, Lake Balaton, Hungary, 8-12 September 1975
Author: IFIP Conference on Software for Minicomputers, )5791, Keszthely, Hungary(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Minicomputers-- Programming-- Congresses,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
I177
1975
